add_application(KVMUL_test KVMUL_test.c LABELS "klessydra_tests")

